大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Computer Security-ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

0
索取号：
作者：Foresti、 Sara.、Yung、 Moti.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

0
索取号：
作者：Min茅、 Antoine.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Teixeira de Souza、 Jerffeson.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithms-ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings

0
索取号：
作者：Epstein、 Leah.、Ferragina、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Sensor Systems and Software [electronic resource] : Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

0
索取号：
作者：Martins、 Francisco.、Lopes、 Lu铆s.、Paulino、 Herv茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、M茅ry、 Dominique.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Pattern Recognition [electronic resource] : Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings

0
索取号：
作者：Pinz、 Axel.、Pock、 Thomas.、Bischof、 Horst.、Leberl、 Franz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Rules on the Web: Research and Applications [electronic resource] : 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings

0
索取号：
作者：Bikakis、 Antonis.、Giurca、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings

0
索取号：
作者：Rovan、 Branislav.、Sassone、 Vladimiro.、Widmayer、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations of Health Informatics Engineering and Systems [electronic resource] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

0
索取号：
作者：Liu、 Zhiming.、Wassyng、 Alan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Discrete Geometry and Mathematical Morphology [electronic resource] : First International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers

0
索取号：
作者：K枚the、 Ullrich.、Montanvert、 Annick.、Soille、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

0
索取号：
作者：Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Optimization [electronic resource] : Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers

0
索取号：
作者：Mahjoub、 A. Ridha.、Markakis、 Vangelis.、Milis、 Ioannis.、Paschos、 Vangelis Th.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Testing in the Cloud [electronic resource] : Migration and Execution

0
索取号：
作者：Tilley、 Scott.、Parveen、 Tauhida.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

0
索取号：
作者：Pe帽a、 Ricardo.、Page、 Rex.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Speech, Sound and Music Processing: Embracing Research in India [electronic resource] : 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

0
索取号：
作者：Ystad、 S酶lvi.、Aramaki、 Mitsuko.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、Mohanty、 Sanghamitra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.